On minimal flows, definably amenable groups, and o-minimality
نویسندگان
چکیده
We study definably amenable groups in NIP theories, focusing on the problem raised in [10] of whether weak generic types coincide with almost periodic types, equivalently whether the union of minimal subflows of a suitable type space is closed. We give fairly definitive results in the o-minimal context, including a counterexample.
منابع مشابه
Connected components of definable groups and o-minimality I
We give examples of definable groups G (in a saturated model, sometimes o-minimal) such that G00 6= G000, yielding also new examples of “non G-compact” theories. We also prove that for G definable in a (saturated) o-minimal structure, G has a “bounded orbit” (i.e. there is a type of G whose stabilizer has bounded index) if and only if G is definably amenable, giving a positive answer to a conje...
متن کاملOn NIP and invariant measures
We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [16]. Among key results are (i) if p = tp(b/A) does not fork over A then the Lascar strong type of b over A coincides with the compact strong type of b over A and any global nonforking extension of p is Borel definable over bdd...
متن کاملOn Central Extensions and Definably Compact Groups in O-minimal Structures
We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields such as (i) G is definably an almost direct product of a semisimple group and a commutative group, (ii) (G, ·) is elementarily equivalent to (G/G, ·). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as deducing the full compact domin...
متن کاملO-minimal cohomology and definably compact definable groups
LetN an o-minimal expansion of a real closed field. We develop the cohomology theory for the category ofN -definable manifolds with continuous N -definable maps and use this to solve the Peterzil-Steinhorn problem [ps] on the existence of torsion points onN -definably compact N -definable abelian groups. Namely we prove the following result: Let G be an N -definably compact N -definably connect...
متن کاملHigher Homotopy of Groups Definable in O-minimal Structures
It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy groups of L. As a consequence, we obtain that all abelian definably compact groups of a given dimension are definably homotopy equivalent, and that their unive...
متن کامل